|
In the context of complex dynamics, a topic of mathematics, the Julia set and the Fatou set are two complementary sets (Julia 'laces' and Fatou 'dusts') defined from a function. Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values. Thus the behavior of the function on the Fatou set is 'regular', while on the Julia set its behavior is 'chaotic'. The Julia set of a function ''f'' is commonly denoted ''J''(''f''), and the Fatou set is denoted ''F''(''f'').〔Note that for other areas of mathematics the notation ''J''(''f'') can also represent the Jacobian matrix of a real valued mapping ''f'' between smooth manifolds.〕 These sets are named after the French mathematicians Gaston Julia〔Gaston Julia (1918) "Mémoire sur l'iteration des fonctions rationnelles," ''Journal de Mathématiques Pures et Appliquées'', vol. 8, pages 47–245.〕 and Pierre Fatou〔Pierre Fatou (1917) "Sur les substitutions rationnelles," ''Comptes Rendus de l'Académie des Sciences de Paris'', vol. 164, pages 806-808 and vol. 165, pages 992–995.〕 whose work began the study of complex dynamics during the early 20th century. ==Formal definition== Let ''f''(''z'') be a complex rational function from the plane into itself, that is, , where ''p''(''z'') and ''q''(''z'') are complex polynomials. Then there is a finite number of open sets ''F''1, ..., ''Fr'', that are left invariant by ''f''(''z'') and are such that: #the union of the ''Fis is dense in the plane and #''f''(''z'') behaves in a regular and equal way on each of the sets ''Fi''. The last statement means that the termini of the sequences of iterations generated by the points of ''Fi'' are either precisely the same set, which is then a finite cycle, or they are finite cycles of circular or annular shaped sets that are lying concentrically. In the first case the cycle is ''attracting'', in the second it is ''neutral''. These sets ''Fi'' are the Fatou domains of ''f''(''z''), and their union is the Fatou set ''F''(''f'') of ''f''(''z''). Each of the Fatou domains contains at least one critical point of ''f''(''z''), that is, a (finite) point ''z'' satisfying , or ''z'' = ∞, if the degree of the numerator ''p''(''z'') is at least two larger than the degree of the denominator ''q''(''z''), or if for some ''c'' and a rational function ''g''(''z'') satisfying this condition. The complement of ''F''(''f'') is the Julia set ''J''(''f'') of ''f''(''z''). ''J''(''f'') is a nowhere dense set (it is without interior points) and an uncountable set (of the same cardinality as the real numbers). Like ''F''(''f''), ''J''(''f'') is left invariant by ''f''(''z''), and on this set the iteration is repelling, meaning that for all ''w'' in a neighbourhood of ''z'' (within ''J''(''f'')). This means that ''f''(''z'') behaves chaotically on the Julia set. Although there are points in the Julia set whose sequence of iterations is finite, there are only a countable number of such points (and they make up an infinitely small part of the Julia set). The sequences generated by points outside this set behave chaotically, a phenomenon called ''deterministic chaos''. There has been extensive research on the Fatou set and Julia set of iterated rational functions, known as rational maps. For example, it is known that the Fatou set of a rational map has either 0,1,2 or infinitely many components.〔Beardon, ''Iteration of Rational Functions'', Theorem 5.6.2〕 Each component of the Fatou set of a rational map can be classified into one of four different classes.〔Beardon, Theorem 7.1.1〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Julia set」の詳細全文を読む スポンサード リンク
|